fun square(arg: Int)/*<# :Int #>*/  = arg * arg